EN FR
EN FR


Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Inria – Mitsubishi Electric framework program (2018+)

  • Title:

  • Inria principal investigator: Jean-Pierre Talpin, Simon Lunel

  • International Partner: Mitsubishi Electric R&D Europe (MERCE)

  • Duration: 2018

  • Abstract: Following up the fruitfull collaboration of TEA with the formal methods group at MERCE, Inria and Mitsubishi Electric signed a center-wide collaboration agreement, which currently hosts projects with project-teams Sumo and Tea.

Mitsubishi Electric R&D Europe (2015-2018)

  • Title: Analysis and verification for correct by construction orchestration in automated factories

  • Inria principal investigator: Jean-Pierre Talpin, Simon Lunel

  • International Partner: Mitsubishi Electric R&D Europe

  • Duration: 2015 - 2018

  • Abstract: The primary goal of our project is to ensure correctness-by-design in cyber-physical systems, i.e., systems that mix software and hardware in a physical environment, e.g., Mitsubishi factory automation lines. We develop a component-based approach in Differential Dynamic Logic allowing to reason about a wide variety of heterogeneous cyber-physical systems. Our work provides tools and methodology to design and prove a system modularly.